:> - mrsekut-p

:>

値域制限

集合sと関係rに対し、s :> rは、sの要素で終わるタプルのみをrから集めた関係になる

/mrsekut-book-4274068587/082 (3.4.3.6 定義域と値域の制限)

code:_

address = {(G0, A0), (G0, G1), (A0, D0),

(G1, D0),(G1, A1), (A1, D1), (A2, D2)}

Alias = { (A0), (A1), (A2) }

// addressの中で、A0,A1,A2で終わるもの

address :> Alias = { (G0, A0), (G1, A1) }